- ...by means of mathematical logic ...
- • ... посредством математической логики ...

*English-Russian dictionary of phrases and cliches for a specialist researcher.
2010.*

- ...by means of mathematical logic ...
- • ... посредством математической логики ...

*English-Russian dictionary of phrases and cliches for a specialist researcher.
2010.*

**Mathematical logic**— (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia**Theory (mathematical logic)**— This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia**Structure (mathematical logic)**— In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… … Wikipedia**Logic and the philosophy of mathematics in the nineteenth century**— John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy**Mathematical induction**— can be informally illustrated by reference to the sequential effect of falling dominoes. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers (positive… … Wikipedia**Logic programming**— is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia**logic, history of**— Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium**Logic**— For other uses, see Logic (disambiguation). Philosophy … Wikipedia**logic, philosophy of**— Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium**Mathematical model**— Not to be confused with the same term that is used in model theory, a branch of mathematical logic. An artifact that is used to illustrate a mathematical idea may also be called a mathematical model, the usage of which is the reverse of the sense … Wikipedia**Mathematical notation**— For information on rendering mathematical formulas in Wikipedia, see Help:Formula. See also: Table of mathematical symbols Mathematical notation is a system of symbolic representations of mathematical objects and ideas. Mathematical notations are … Wikipedia